Spectral Analysis Type Leak Detector

Leak Detector Guidance for FreonTM Refrigerants

Refrigeration service personnel have used leak detection equipment for years when servicing refrigeration equipment. In the past, leak detection typically was only concerned with leak pinpointing, either with an ultrasonic device, soap bubbles, dyes, thermal conductivity, or other electronic devices. Today, refrigerant leak detectors exist not only for pinpointing leaks, but also for monitoring...

A Practical Memory Leak Detector Based on Parameterized Procedural Summaries

We present a static analyzer that detects memory leaks in C programs. It achieves relatively high accuracy at a relatively low cost on SPEC2000 benchmarks and several open-source software packages, demonstrating its practicality and competitive edge against other reported analyzers: for a set of benchmarks totaling 1,777 KLOCs, it found 332 bugs with 47 additional false positives (a 12.4% false...

Spectral detector CT for cardiovascular applications.

Spectral detector computed tomography (SDCT) is a novel technology that uses two layers of detectors to simultaneously collect low and high energy data. Spectral data is used to generate conventional polyenergetic images as well as dedicated spectral images including virtual monoenergetic and material composition (iodine-only, virtual unenhanced, effective atomic number) images. This paper prov...

Memory Leak Analysis by Contradiction

We present a novel leak detection algorithm. To prove the absence of a memory leak, the algorithm assumes its presence and runs a backward heap analysis to disprove this assumption. We have implemented this approach in a memory leak analysis tool and used it to analyze several routines that manipulate linked lists and trees. Because of the reverse nature of the algorithm, the analysis can local...

Pulmonary Capillary Leak Syndrome